منابع مشابه
XBarnacle: Making Theorem Provers More Accessible
XBarnacle was built to meet the challenge of incorporating interactive features in the automated theorem prover CLAM whilst preserving the advantages of automation. Many people are not able to use theorem provers to their full strength. The aim of our research is to make semi-automated theorem proving a real possibility for a wide range of people – from those primarily interested in formal spec...
متن کاملMaking Online Datasets More Searchable and Accessible: The CEDAR project
Scientists increasingly are archiving their data in online repositories to promote open science and data reuse. The ability to find and access datasets that are stored in these repositories depends on the quality of the associated metadata. There is a growing set of community developed standards for defining such metadata often in the form of metadata templates. The practical difficulties of wo...
متن کاملMaking speech synthesis more accessible to older people
In this paper, we report on an experiment that tested users’ ability to understand the content of spoken auditory reminders. Users heard meeting reminders and medication reminders spoken in both a natural and a synthetic voice. Our results show that older users can understand synthetic speech as well as younger users provided that the prompt texts are well-designed, using familiar words and con...
متن کاملSemantic Annotation and Transcoding: Making Web Content More Accessible
69 M ost of us have created Web content using only human-friendly information. Of course, this makes sense—after all, humans are the intended users of the information. However, with the continuing explosion of Web content—especially multimedia content—we argue that contents should be created in a more machinefriendly format—one that lets machines better understand and process documents. In this...
متن کاملMaking Mathematics Fun , Accessible , and
The theme of this year's conference is “Making Mathematics Fun, Accessible and Challenging through Technology”. Version 6 of Mathematica, released in May 2007, is instantly interactive, allowing teachers and students to easily construct live interfaces to illustrate and investigate mathematical concepts at all levels [1]. Over 2000 examples of these interactive capabilities, including a number ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Perspectives in Applied Academic Practice
سال: 2018
ISSN: 2051-9788
DOI: 10.14297/jpaap.v6i2.348